1. From object-orientation to formal methods
پدیدآورنده : / Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design.
رده :
QA
,
76
.
9
,.
O35
,
F76
,
2004
2. From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
پدیدآورنده : Olaf Owe, Stein Krogdahl, Tom Lyche )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented methods )Computer science(,، Formal methods )Computer science(,، System design
رده :
QA
76
.
L28
Vol
.
2635
3. Validated designs for object-oriented systems
پدیدآورنده : / John Fitzgerald ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design
رده :
QA76
.
9
.
O35
,
V35
2005
4. Validated designs for object-oriented systems
پدیدآورنده : / John Fitzgerald ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design
رده :
QA76
.
9
.
O35
,
V35
2005
